Automatic Synthesis of Sequential Synchronizations
نویسندگان
چکیده
To compose sequential systems, designers usually have to devise a synchronization mechanism which coordinates constituents of the composition in order to achieve certain goals of computation. In this paper, we present a simple language for specifying sequential behaviors. An advantage of the language is that a speci cation of synchronization, when composition is required, can be easily obtained from speci cations of subsystems. We also brie y describe an algorithm which converts a speci cation of synchronization to a description of synchronization in our language. Our approach illustrates that, with a proper sequential descriptions of subsystems, necessary synchronization can be obtained automatically. This frees designers from control design, thus leaving more time and energy to consider architectural improvement and timing e ciency.
منابع مشابه
Automatic measurement of instantaneous changes in the walls of carotid artery with sequential ultrasound images
Introduction: This study presents a computerized analyzing method for detection of instantaneous changes of far and near walls of the common carotid artery in sequential ultrasound images by applying the maximum gradient algorithm. Maximum gradient was modified and some characteristics were added from the dynamic programming algorithm for our applications. Methods: The algorithm was evaluat...
متن کاملAuto-CFD: Efficiently Parallelizing CFD Applications on Clusters
Computational Fluid Dynamics (CFD) applications are highly demanding for parallel computing. Many such applications have been shifted from expensive MPP boxes to cost-effective clusters. Auto-CFD is a pre-compiler which transforms Fortran CFD sequential programs to efficient message-passing parallel programs running on clusters. Our work has the following three unique contributions. First, this...
متن کاملA Simple Synchronization and Communication Multi-threaded Library for Automatic Distribution of Irregular Sequential Code
We present a data-driven parallelization technique for sequential programs. The main originality of our approach is an absorption mechanism using specific wait/signal synchronizations based on special purpose counters called structural clocks. This mechanism allows to perform unmatching send/receive operations. Our parallelization technique can express unpredictable communications involved by i...
متن کاملA Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection
Shared-memory programmers traditionally assumed Sequential Consistency (SC), but modern systems have relaxed memory consistency. Here, the trend in languages is towards Data-Race-Free (DRF) models, where, assuming annotated synchronizations and the program being well-synchronized by those synchronizations, the hardware and compiler guarantee SC. However, legacy programs lack annotations, so eve...
متن کامل